Knihy od autora Stéphane Demri

Zobrazené 1 – 3 z 3 výsledkov

1. 

   Temporal Logics in Computer Science

   Stéphane Demri, Valentin Goranko, Martin Lange | Cambridge University Press, 2016

   
   

   50 % šanca - Prehľadáme celý svet

   Jazyk: Angličtina

   Väzba: Pevná

   157.05 €

   Kúpiť
2. 

   Automated Reasoning

   Stéphane Demri, Deepak Kapur, Christoph Weidenbach | Springer International Publishing AG, 2014

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.73 €

   Zľava 7 %

   Ušetríte 4.29 €

   Kúpiť
3. 

   Concise Introduction to Alternating-Time Temporal Logics

   Stéphane Demri | Springer-Verlag GmbH, 2026

   
   

   Skladom u dodávateľa - Odosielame za 10 - 13 dní

   Jazyk: Angličtina

   Väzba: Pevná

   50.62 €

   Zľava 9 %

   Ušetríte 5.40 €

   Kúpiť

Doručenie zadarmo pre objednávky nad 59.99 € Zistite viac